@typep maybe(t)
